AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[In, s, Ninv, b, S*a, g + a, s*Q - Q*a, In*a + Q*a + a*L, e*s*g - s*g + g*a, (e*S - S)//(e*Q)]
